term-rewrite-system
===================

`ln -s ../repos/term-rewrite-system/trs/ .`
